Hàm successor

Trong toán học, hàm successor hay phép successor (tiếng Anh: Successor function hay Successor operation) tăng một số tự nhiên đến số tiếp theo. Hàm successor được ký hiệu là S, do đó S(n) = n + 1. Ví dụ, S(1) = 2 và S(2) = 3. Hàm successor là một trong những thành phần cơ bản được sử dụng để xây dựng một hàm đệ quy nguyên thủy.Các phép successor còn được gọi là zeration trong bối cảnh hyperoperation bậc 0: H0(a, b) = 1 + b. Trong bối cảnh này, phần mở rộng của zeration là phép cộng, được định nghĩa là successor lặp.